|
|
Reactive Kripke Semantics
by Gabbay, Dov M.
Publication:
. XII, 442 p. 201 illus., 10 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Complexity of Valued Constraint Satisfaction Problems
by Živný, Stanislav.
Publication:
. XVII, 170 p. 23 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conditionals and Modularity in General Logics
by Gabbay, Dov M.
Publication:
. IX, 233 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Working with Preferences: Less Is More
by Kaci, Souhila.
Publication:
. XVI, 204 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Knowledge in Formation
by Sarbo, Janos J.
Publication:
. XII, 217 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logical Tools for Handling Change in Agent-Based Systems
by Gabbay, Dov M.
Publication:
. X, 305p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cognitive Reasoning
by Gergely, Tamás.
Publication:
. X, 437p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic for learning : , learning comprehensible theories from structured data /
by Lloyd, J. W.
Publication:
Berlin : Springer, 2003
. x, 256 p. ;
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|